Graphical Reasoning in Compact Closed Categories for Quantum Computation

Compact closed categories provide a foundational formalism for a variety of important domains, including quantum computation. These categories have a natural visualisation as a form of graphs. We present a formalism for equational reasoning about such graphs and develop this into a generic proof system with a fixed logical kernel for equational reasoning about compact closed categories. Automating this reasoning process is motivated by the slow and error prone nature of manual graph manipulation. A salient feature of our system is that it provides a formal and declarative account of derived results that can include `ellipses'-style notation. We illustrate the framework by instantiating it for a graphical language of quantum computation and show how this can be used to perform symbolic computation.Comment: 21 pages, 9 figures. This is the journal version of the paper published at AIS

Tools for analysis and conditional deletion of subsets of sensory neurons [version 1; peer review: 4 approved]

Background: Somatosensation depends on primary sensory neurons of the trigeminal and dorsal root ganglia (DRG). Transcriptional profiling of mouse DRG sensory neurons has defined at least 18 distinct neuronal cell types. Using an advillin promoter, we have generated a transgenic mouse line that only expresses diphtheria toxin A (DTA) in sensory neurons in the presence of Cre recombinase. This has allowed us to ablate specific neuronal subsets within the DRG using a range of established and novel Cre lines that encompass all sets of sensory neurons. // Methods: A floxed-tdTomato-stop-DTA bacterial artificial chromosome (BAC) transgenic reporter line (AdvDTA) under the control of the mouse advillin DRG promoter was generated. The line was first validated using a Nav1.8Cre and then crossed to CGRPCreER (Calca), ThCreERT2, Tmem45bCre, Tmem233Cre, Ntng1Cre and TrkBCreER (Ntrk2) lines. Pain behavioural assays included Hargreaves’, hot plate, Randall-Selitto, cold plantar, partial sciatic nerve ligation and formalin tests. // Results: Motor activity, as assessed by the rotarod test, was normal for all lines tested. Noxious mechanosensation was significantly reduced when either Nav1.8 positive neurons or Tmem45b positive neurons were ablated whilst acute heat pain was unaffected. In contrast, noxious mechanosensation was normal following ablation of CGRP-positive neurons but acute heat pain thresholds were significantly elevated and a reduction in nocifensive responses was observed in the second phase of the formalin test. Ablation of TrkB-positive neurons led to significant deficits in mechanical hypersensitivity in the partial sciatic nerve ligation neuropathic pain model. // Conclusions: Ablation of specific DRG neuronal subsets using the AdvDTA line will be a useful resource for further functional characterization of somatosensory processing, neuro-immune interactions and chronic pain disorders

Conscious monitoring and control (reinvestment) in surgical performance under pressure.

Research on intraoperative stressors has focused on external factors without considering individual differences in the ability to cope with stress. One individual difference that is implicated in adverse effects of stress on performance is "reinvestment," the propensity for conscious monitoring and control of movements. The aim of this study was to examine the impact of reinvestment on laparoscopic performance under time pressure

The effects of socioeconomic status, accessibility to services and patient type on hospital use in Western Australia: a retrospective cohort study of patients with homogenous health status

BACKGROUND: This study aimed to investigate groups of patients with a relatively homogenous health status to evaluate the degree to which use of the Australian hospital system is affected by socio-economic status, locational accessibility to services and patient payment classification. METHOD: Records of all deaths occurring in Western Australia from 1997 to 2000 inclusive were extracted from the WA mortality register and linked to records from the hospital morbidity data system (HMDS) via the WA Data Linkage System. Adjusted incidence rate ratios of hospitalisation in the last, second and third years prior to death were modelled separately for five underlying causes of death. RESULTS: The independent effects of socioeconomic status on hospital utilisation differed markedly across cause of death. Locational accessibility was generally not an independent predictor of utilisation except in those dying from ischaemic heart disease and lung cancer. Private patient status did not globally affect utilisation across all causes of death, but was associated with significantly decreased utilisation three years prior to death for those who died of colorectal, lung or breast cancer, and increased utilisation in the last year of life in those who died of colorectal cancer or cerebrovascular disease. CONCLUSION: It appears that the Australian hospital system may not be equitable since equal need did not equate to equal utilisation. Further it would appear that horizontal equity, as measured by equal utilisation for equal need, varies by disease. This implies that a 'one-size-fits-all' approach to further improvements in equity may be over simplistic. Thus initiatives beyond Medicare should be devised and evaluated in relation to specific areas of service provision

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Performance of CMS muon reconstruction in pp collision events at sqrt(s) = 7 TeV

The performance of muon reconstruction, identification, and triggering in CMS has been studied using 40 inverse picobarns of data collected in pp collisions at sqrt(s) = 7 TeV at the LHC in 2010. A few benchmark sets of selection criteria covering a wide range of physics analysis needs have been examined. For all considered selections, the efficiency to reconstruct and identify a muon with a transverse momentum pT larger than a few GeV is above 95% over the whole region of pseudorapidity covered by the CMS muon system, abs(eta) < 2.4, while the probability to misidentify a hadron as a muon is well below 1%. The efficiency to trigger on single muons with pT above a few GeV is higher than 90% over the full eta range, and typically substantially better. The overall momentum scale is measured to a precision of 0.2% with muons from Z decays. The transverse momentum resolution varies from 1% to 6% depending on pseudorapidity for muons with pT below 100 GeV and, using cosmic rays, it is shown to be better than 10% in the central region up to pT = 1 TeV. Observed distributions of all quantities are well reproduced by the Monte Carlo simulation.Comment: Replaced with published version. Added journal reference and DO

Azimuthal anisotropy of charged particles at high transverse momenta in PbPb collisions at sqrt(s[NN]) = 2.76 TeV

The azimuthal anisotropy of charged particles in PbPb collisions at nucleon-nucleon center-of-mass energy of 2.76 TeV is measured with the CMS detector at the LHC over an extended transverse momentum (pt) range up to approximately 60 GeV. The data cover both the low-pt region associated with hydrodynamic flow phenomena and the high-pt region where the anisotropies may reflect the path-length dependence of parton energy loss in the created medium. The anisotropy parameter (v2) of the particles is extracted by correlating charged tracks with respect to the event-plane reconstructed by using the energy deposited in forward-angle calorimeters. For the six bins of collision centrality studied, spanning the range of 0-60% most-central events, the observed v2 values are found to first increase with pt, reaching a maximum around pt = 3 GeV, and then to gradually decrease to almost zero, with the decline persisting up to at least pt = 40 GeV over the full centrality range measured.Comment: Replaced with published version. Added journal reference and DO